Non - speculative and Upward Invocation ofContinuations in a Parallel

نویسنده

  • Luc Moreau
چکیده

A method of preserving the sequential semantics in parallel programs with rst-class continuations is to invoke continuations non-speculatively. This method, which prevents a continuation from being invoked as long as its invocation can infringe the sequential semantics, reduces parallelism by the severe conditions that it imposes, especially on upward uses. In this paper, we present new conditions for invoking continuations in an upward way and both preserving the sequential semantics and providing parallelism. This new approach is formalised in the PCKS-machine, which is proved to be correct by showing that it has the same observational equivalence theory as the sequential semantics.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Non-Speculative and Upward Invocation of Continuations in a Parallel Language

A method of preserving the sequential semantics in parallel pro grams with rst class continuations is to invoke continuations non speculati vely This method which prevents a continuation from being invoked as long as its invocation can infringe the sequential semantics reduces parallelism by the severe conditions that it imposes especially on upward uses In this paper we present new conditions ...

متن کامل

Towards a new model of speculative bubbles: nonparametric test with an application to the Tunisian Stock Index

Bubbles in asset prices have fascinated researchers in finance. Identify asset bubbles, by circumstances, on the stock market has been a growing number of research theoretical and empirical. On a theoretical level, it was assumed that the price dynamics reflect irrational behavior of economic agents and, therefore, should be excluded from a deal with the truly rational economic agents Burmeiste...

متن کامل

Exploiting Speculative TLP in Recursive Programs by Dynamic Thread Prediction

Speculative parallelisation represents a promising solution to speed up sequential programs that are hard to parallelise otherwise. Prior research has focused mainly on parallelising loops. Recursive procedures, which are also frequently used in real-world applications, have attracted much less attention. Moreover, the parallel threads in prior work are statically predicted and spawned. In this...

متن کامل

THE EVALUATION OF SYMMETRIC RESTING SCAPULAR POSTURE AND SCAPULOHUMERAL RHYTHM RATIO BETWEEN DOMINANT AND NON-DOMINANT SHOULDERS IN ELDERLY SUBJECTS IN DIFFERENT HUMERAL ABDUCTION ANGLES

Background & Aims: Previous studies have stated that the scapulohumeral rhythm dysfunction can make a person prone to glenohumeral joint pathologies. The purpose of this study was to survey symmetric resting scapular posture and scapulohumeral rhythm ratio between dominant and non-dominant shoulders in elderly subjects in different humeral abduction angles. Materials & Methods: Thirty-five hea...

متن کامل

The Effects of Economic Sanctions and Speculative Attacks on Inflation

This paper surveys the persian monetary crises due to economic sanctions and speculative attacks that leads to high inflation. Economic sanctions are associated with various forms of trade barriers and restriction on financial transactions. Among the most influential sanctions on Iran's oil export and central bank sanctions are noted that their Aims to reduce Iran's oil revenues and Devaluation...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1995